• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۶۳ پاسخ غیر تکراری از ۶۳ پاسخ تکراری در مدت زمان ۰,۸۱ ثانیه یافت شد.

1. Advances in systems safety

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Chris Dale, Tom Anderson, editors

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Industrial safety--Management--Congresses,Automatic control--Reliability--Congresses,Computer software--Reliability--Congresses

Classification :
T
,
55
,.
A1
,
S225
,
2011

2. Advances in systems safety

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Industrial safety ; Management ; Congresses. ; Automatic control ; Reliability ; Congresses. ; Computer software ; Reliability ; Congresses. ;

Classification :

3. COMPASS '93: Proceedings of the Einth Annual Conference on Computer assurance,June 14-17 ,1993,national Institute of standard and technology ,gaithersbury,MD

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / COMPASS Sponsors: IEEE Aerospace and Electronics Systems Society, IEEE National Capital Area Council

Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)

Subject: Computer software - Reliability - Congresses,Computers - Reliability - Congresses

Classification :
QA76
.
R44

4. COMPASS 94: Proceedings of the Ninth Annual Conference on Computer Assurance, June 27-July 1, 1994, National Institute of Standard and Technology, Gaithersbury, MD

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: COMPASS Sponsors: IEEE Aerospace and Electronics Systems Society, IEEE National Capital Area Council; in cooperation with British Computer Society

Library: Central Library of Amirkabir University of Technology (Tehran)

Subject: Computer software - Reliability - Congresses , Computers - Reliability - Congresses

Classification :
QA
76
.
R44
A56
1994

5. Computer safety, reliability, and securit

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Michael D. Harrison, Mark-Alexander Sujan (eds.)

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Computer software--Reliability--Congresses,Electronic digital computers--Reliability--Congresses,Computer security--Congresses,Industrial safety--Congresses

Classification :
QA
,
76
.
76
,.
R44
,
S23
,
2008
TJ
,
212
.
2
,.
I545
,
2008

6. Computer safety, reliability, and security

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Erwin Schoitsch (ed.)

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Computer software--Reliability--Congresses,Electronic digital computers--Reliability--Congresses,Computer security--Congresses,Industrial safety--Congresses

Classification :
QA
,
76
.
76
,.
R44
,
I55
,
2010

7. Computer safety, reliability, and security

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Computer software ; Reliability ; Congresses. ; Electronic digital computers ; Reliability ; Congresses. ; Computer security ; Congresses. ; Industrial safety ; Congresses. ;

Classification :

8. Computer safety, reliability, and security

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Erwin Schoitsch (ed.

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: Computer software, Reliability, Congresses,Electronic digital computers, Reliability, Congresses,Computer security, Congresses,Industrial safety, Congresses

Classification :
QA76
.
76
.
R44
2010

9. Computer safety, reliability, and security

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Frank Ortmeier, Peter Daniel (eds.)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer security, Congresses,Computer software-- Reliability, Congresses,Computers-- Reliability, Congresses,Formal methods (Computer science), Congresses

Classification :
QA76
.
76
.
R44
S24
2012eb

10. Computer safety, reliability, and security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Stuart Anderson, Massimo Felici, Bev Littlewood )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Reliability -- Congresses ، Computer software,Reliability -- Congresses ، Electronic digital computers,Congresses ، Computer security,Congresses ، Industrial safety

Classification :
QA
76
.
L28
Vol
.
2788

11. Computer safety, reliability, and security : 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Reliability -- Congresses ، Computer software,Reliability --Congresses ، Electronic digital computers,Congresses ، Computer security,Congresses ، Industrial safety

Classification :
QA
76
.
L28
Vol
.
3219

12. Computer safety, reliability, and security: 23rd international conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004: proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: Congresses ، Computer software-- Reliability,Congresses ، Electronic digital computers-- Reliability,Congresses ، Computer security,Congresses ، Industrial safety

Classification :
QA
76
.
76
.
R44
.
S23
2004

13. Computer safety, reliability, and security : 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Rune Winther, Bjorn Axel Gran, Gustav Dahll )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Reliability -- Congresses ، Computer software,Reliability -- Congresses ، Electronic digital computers,Congresses ، Computer security,Congresses ، Industrial safety

Classification :
QA
76
.
L28
Vol
.
3688

14. Computer safety, reliability, and security : 19th International Conference, SAFECOMP 2000, Rotterdam, the Netherlands, October 24-27, 2000 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Floor Koornneef, Meine van der Meulen )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Reliability -- Congresses ، Computer software,Reliability -- Congresses ، Electronic digital computers,Congresses ، Computer security,Congresses ، Industrial safety

Classification :
QA
76
.
L28
Vol
.
1943

15. Computer safety, reliability and security : 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Udo Voges )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Reliability -- Congresses ، Computer software,Reliability -- Congresses ، Electronic digital computers,Congresses ، Computer security,Congresses ، Industrial safety

Classification :
QA
76
.
L28
Vol
.
2187

16. Computer safety, reliability, and security: 24th international conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005: proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: Congresses ، Computer software-- Reliability,Congresses ، Electronic digital computers-- Reliability,Congresses ، Computer security,Congresses ، Industrial safety

Classification :
QA
76
.
76
.
R44
.
S23
2005

17. Dependable software systems engineering /

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer software-- Reliability, Congresses.,Software engineering, Congresses.,Computer software-- Reliability.,COMPUTERS-- Software Development & Engineering-- General.,Software engineering.

Classification :
QA76
.
758

18. Developments in risk-based approaches to safety

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Felix Redmill and Tom Anderson (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Automatic control-- Reliability, Congresses.,Computer software-- Reliability, Congresses.,Industrial safety-- Management, Congresses.

Classification :
T55
.
S2145
2006eb

19. Error- free Software

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Robert Laurence Baber,Baber

Library: Central Library and Documents Center of Tehran University (Tehran)

Subject: Computer software-- Reliability-- Congresses,Computer Software-- Development

Classification :
QA
76
.
76
.
R44B33
1991

20. Formal methods for industrial critical systems :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Falk Howar, Jiří Barnat (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.

Classification :
QA76
.
9
.
F67
I58
2018eb
  • »
  • 4
  • 3
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival